termination of term

Article 23 Upon the expiration or termination in advance of the term of a contractual joint venture, its assets, claims and debts shall be liquidated according to legal procedures.

第二十三条合作企业期满或者提前终止时，应当依照法定程序对资产和债权、债务进行清算。

The paper describes an automated formal proving platform based on the dynamic term rewriting calculus and its application to the automated proving for the weak termination of term rewriting systems.

文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用。

An Inductive Proving Method for Weakly Ground Termination of Term Rewriting Systems

项重写系统弱基终止性的归纳证明

A contractual joint venture shall, upon the expiration or termination in advance of its term, cancel its registration with the administrative authorities for Industry and Commerce and the tax authorities.

合作企业期满或者提前终止，应当向工商行政管理机关和税务机关办理注销登记手续。

The order could not only examine the termination of term rewriting system, but also has the advantage of automated computing and less rules using.

该序不仅能够检测项重写系统的终止性，而且具有易于自动化运算，规则调用次数较少的优点。